Über Dialoge, Protologische Kategorien und andere Seltenh...
Der Verfasser hat sich die Aufgabe gestellt, die sehr verschiedenen Charakterisierungen der intuitionistischen Logik - die garbentheoretische, die kalkültheoretische, die verbandstheoretische, die operative, die spieltheoretische - unter einem einheitlichen Gesichtspunkt, nämlich ihrer strukturellen Beschreibung mit Hilfe der Kategorientheorie und der dialogischen Logik, neu zu entwickeln. Er geht aus von dem immer wieder unterstellten ad-hoc-Charakter der gewählten Spielregeln und fragt nach ...